%File: formatting-instruction.tex
\documentclass[letterpaper]{article}
\usepackage{aaai}
\usepackage{fixbib}
\usepackage{times}
\usepackage{helvet}
\usepackage{courier}
\usepackage{url}
\usepackage{graphicx}
\usepackage{subfigure}
\usepackage{fancyhdr}
\usepackage{pagecounting}
%\usepackage{multirow}
%\input{subfig}
%\usepackage{subfig}
%\usepackage{subfigure}

%\input{macros}
\usepackage[dvips]{color}

\newcommand{\CodeIn}[1]{{\small\texttt{#1}}}

\frenchspacing
\pdfinfo{
/Title (Formatting Instructions for Authors Using LaTeX)
/Subject (AAAI Publications)
/Author (AAAI Press)}
\setcounter{secnumdepth}{0}  

% % Add line between figure and text
 \makeatletter
 \def\topfigrule{\kern3\p@ \hrule \kern -3.4\p@} % the \hrule is .4pt high
 \def\botfigrule{\kern-3\p@ \hrule \kern 2.6\p@} % the \hrule is .4pt high
 \def\dblfigrule{\kern3\p@ \hrule \kern -3.4\p@} % the \hrule is .4pt high
 \makeatother
 % If there is a line, you can get away with reducing the separation between
 % figures and text.  Don't do this without the line, though.
 \addtolength{\textfloatsep}{-.5\textfloatsep}
 \addtolength{\dbltextfloatsep}{-.5\dbltextfloatsep}
 \addtolength{\floatsep}{-.5\floatsep}
 \addtolength{\dblfloatsep}{-.5\dblfloatsep}


 \begin{document}
% The file aaai.sty is the style file for AAAI Press 
% proceedings, working notes, and technical reports.
%
\title{Software Bug Localization with Markov Logic}
%\author{Sai Zhang \quad Congle Zhang\\
\author{Author Names\\
%Department of Computer Science and Engineering\\
Affiliations\\
%University of Washington\\
%\{szhang, clzhang\}@cs.washington.edu\\
}
\maketitle

\input{abstract}

\input{introduction}


\vspace{-2mm}
\input{background}

\vspace{-2mm}
\input{method}

\vspace{-2mm}
\input{evaluation}

\vspace{-2mm}

\input{related}

\vspace{-2mm}
%\input{future}

\input{conclusion}


%\bibliographystyle{plain}	% (uses file "plain.bst")
%\bibliography{ref}		% expects file "myrefs.bib"
\bibliography{ref}{}
%\bibliographystyle{plain}
\bibliographystyle{aaai}


\end{document}
